John Stanford - PDFSEARCH.IO - Document Search Engine

John Stanford
Results: 648

#	Item
311	Adaptive Routing in High-Radix Clos Network John Kim, William J. Dally, Dennis Abts† † Stanford University Cray Inc. {jjk12, billd}@cva.stanford.edu Add to Reading List Source URL: cva.stanford.edu Language: English - Date: 2006-09-15 14:59:56 Network performance Internet Routing protocols Routing Throughput Latency Source routing Packet switching Forwarding plane Computer networking Computing Network architecture
312	Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods Elizabeth Stinson Stanford University John C. Mitchell Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:42 Spamming Cyberwarfare Botnets Denial-of-service attacks Denial-of-service attack Fast flux Storm Worm Agobot Internet Relay Chat Computer network security Computing Multi-agent systems
313	Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-03-28 01:09:33 Software engineering Concurrency control Concurrency Concurrent computing Thread Lock Parallel computing Deadlock Call graph Computing Program analysis Static program analysis
314	A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION∗ JOHN McCARTHY 1961–1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Hollan Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:08:23 Theoretical computer science Theory of computation Functions and mappings Function Computable function Logical connective Computability Indeterminate form Universal quantification Computability theory Mathematics Mathematical logic
315	Security and the Average Programmer (Invited Contribution) Daniel Giﬃn, Stefan Heule, Amit Levy, David Mazi`eres, John Mitchell, Alejandro Russo, Amy Shen, Deian Stefan, David Terei, and Edward Yang Stanford and Cha Add to Reading List Source URL: stefanheule.com Language: English - Date: 2015-01-15 03:04:25 Crime prevention National security Computer network security Secure communication Kernel Vulnerability Operating system Ring Application security Computer security Security Cyberwarfare
316	Joeq: A Virtual Machine and Compiler Infrastructure John Whaley Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-01-06 20:12:34 Compiler construction Cross-platform software Java programming language Programming language implementation Computing platforms Java virtual machine Java bytecode Java Just-in-time compilation Computing Software engineering Software
317	Digital Systems Engineering William J. Dally and John W. Poulton Errata as of September 26, 1999 Page 36 39 Add to Reading List Source URL: cva.stanford.edu Language: English - Date: 1999-10-05 02:05:23 Equations Surfaces Partial differential equations
318	Using Strategy Objectives for Network Security Analysis Elie Bursztein1 and John C. Mitchell2 {elie\|mitchell}@cs.stanford.edu 1 Stanford University and LSV, ENS Cachan Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 17:56:15 Windows Server Science Academia Knowledge Network security Exploit Game theory
319	Reflection Analysis for Java Benjamin Livshits, John Whaley, and Monica S. Lam? Computer Science Department Stanford University Stanford, CA 94305, USA {livshits, jwhaley, lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-09-07 13:39:43 Method Reflection Datalog Objective-C Java Native Interface Java Call graph Graph Constructor Computing Software engineering Computer programming
320	SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE John McCarthy and Patrick J. Hayes Computer Science Department Stanford University Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:21 Academia Branches of philosophy Formal sciences Alan Turing Interdisciplinary fields Intelligence Epistemology Logic Common sense Science Knowledge Philosophy of artificial intelligence

UPDATE